logic semantics的例句大全

At first, he developed a modal logic semantics, and has achieved notable successes.

起初，他发展了模态逻辑语义学，并取得了引人注目的成就。

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。

A Logic Semantics Analysis Algorithm for Railway Station Layouts

一种站场图逻辑语义解析算法

Questions on Logic Semantics of Chinese Medical Terms

中医理论术语的逻辑语义问题

A revisory Kipke semantics weakens Logic Omniscience Problems and remains those reasonable epistemic properties.

在一种修正的可能世界语义学下,削弱了“逻辑全能问题”,幷且保留了那些合理的认知性质.

A Temporal Logic Semantics for UML Activity Diagrams

UML活动图的时序逻辑语义

Combinatory logic is proposed to be a mathematical foundation of the semantics of programming languages.

本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。

A Distributed Query Optimization Based on Semantics and Logic

基于语义和逻辑的分布查询优化

Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic ε LN

描述逻辑εLN循环术语集的不动点语义及推理

A function/ logic language implementation technique with reduction semantics

函数／逻辑语言归约实现技术

Syntax and operational semantics of recursive programs based on predicate logic

建立于谓词逻辑上的递归程序及其操作语义

Study of cartographic semantics model based on description logic

基于描述逻辑的地图语义模型初步研究

Barwise's criticisms on the extensional model theory semantics and the possible world semantics, not only reveals the shortages of logic semantics, but also helps us to understand the logic semantics problems of natural language more profoundly.

巴威斯等对外延模型论语义学和可能世界语义学的批判，揭示了既有逻辑语义研究的不足，促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。

The Declarative Semantics of Logic Programming Language G(?) del

逻辑程序设计语言G（？）del的说明性语义

Logic programs semantics are used in planning, diagnosis and action reasoning widely.

近年来,有序逻辑程序被广泛应用于规划 、 诊断、行动推理等诸多领域.

It makes full use of the advantages, including that algebraic semantics describes the abstract data types, Hoare logic describes the software functions and UNYFY logic describes the properties of parallel programs.

其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。

Hence we propose a kind of structure postulates about the movement of categorical positions, and form a particular Categorical Type Logic-Multi-Modal Logic with constrains on accessible relations in possible world semantics.

因此，给出关于范畴位置移动的结构公设，构成特定的范畴类型逻辑系统，即多样模态逻辑，并给该系统的可能世界语义学的可通达关系确立相应的限制条件。

Constrasted with other semantics theories of nonmonotonic logic programming, Answer Set semantics, the kernel of Answer Set programming technology, is concise and simple, and fully utilizes the fruits acquired by the logic programming community, and effectively realizes nonmonotonic reasoning of the logic program.

作为该类编程技术的核心，Answer Set语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。